1
Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 6.30 MB
0 / 0
english, 2022
3
Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

Advances in Tourism, Technology and Systems: Selected Papers from ICOTTS 2023, Volume 1

António Abreu, João Vidal Carvalho, Pedro Liberato, Hazael Cerón Monroy, (eds.)
Έτος:
2024
Γλώσσα:
english
Αρχείο:
PDF, 15.44 MB
0 / 5.0
english, 2024
8
Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Antonio Cerone
Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 16.02 MB
0 / 0
english, 2023
10
Software Engineering and Formal Methods

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri
Έτος:
2018
Γλώσσα:
english
Αρχείο:
EPUB, 7.76 MB
0 / 5.0
english, 2018
12
LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]
Έτος:
2009
Γλώσσα:
spanish
Αρχείο:
AZW3 , 1.94 MB
0 / 0
spanish, 2009
13
LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone
Έτος:
2009
Γλώσσα:
spanish
Αρχείο:
FB2 , 3.05 MB
0 / 0
spanish, 2009
15
LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)

Ana Cavalcanti Kamel Barkaoui & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti]
Έτος:
2009
Γλώσσα:
spanish
Αρχείο:
MOBI , 1.90 MB
0 / 0
spanish, 2009
16
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers

Antonio Cerone, Marco Roveri
Έτος:
2018
Γλώσσα:
english
Αρχείο:
PDF, 38.12 MB
0 / 0
english, 2018